asctimeないしctime
本当にそのフォーマットじゃなきゃいけないのならstrftime
あとはリファレンス見てくれ