Synthesis of a homochiral ketone having a pinguisane skeleton using phenylethylamine as a chiral auxiliary: a formal total synthesis of deoxopinguisone